COMMENT ⊗   VALID 00041 PAGES
C REC  PAGE   DESCRIPTION
C00001 00001
C00004 00002	Scientific Papers and drafts-SCI
C00008 00003	LISP functions-LISP
C00013 00004	FOL axioms, proofs and papers -AXIOMS
C00019 00005	Not used
C00020 00006	LISP book -BOOK
C00024 00007	Articles -ART
C00031 00008	Quasar and other fakery -QUASAR
C00033 00009	CSD affairs -CSD
C00035 00010	Environment, etc. -ENV
C00037 00011	Proposals -PROPOS
C00041 00012	mtc -MTC
C00043 00013	AI and philosophy study	-AIPHIL
C00044 00014	Reviews -REVIEW
C00048 00015	CS206 -CS206
C00050 00016	Research notes -RESEAR
C00059 00017	S1 -S1
C00060 00018	Miscellaneous -MISC
C00065 00019	Political action - ACTION
C00066 00020	Slides for lectures -SLIDES
C00067 00021	Essays in Science and Technology -ESS
C00077 00022	CS226 -CS226
C00078 00023	DRAFTS -DRAFTS
C00079 00024	Other people's papers -OTHERS
C00080 00025	nuclear -NUCLEA
C00081 00026	News stories -NS
C00084 00027	AI Lab	-LAB
C00085 00028	Problem solving -PROBLE
C00086 00029	For deletion -del
C00088 00030	Research problems for students -TOPIC
C00089 00031	Patterns -pat
C00091 00032	Space -space
C00092 00033	unused
C00093 00034	References, bibliographies and lists of files -REF
C00094 00035	Epistemology -epist
C00096 00036	w79 files
C00102 00037	Spring 79 files
C00106 00038	e79 files
C00108 00039	Fall 79 files
C00111 00040	W80 files
C00117 00041	Spring 1980 files
C00122 ENDMK
C⊗;
Scientific Papers and drafts-SCI

KNOW[E78,JMC]		paper on Wise men and S and P using only posible worlds
CATALA[E78,JMC]		Catalan numbers from S = A + S x S
MODAL[S78,JMC] 30-Jun-78	EXPRESSION OF MODALITY IN FIRST ORDER LOGIC

LISP[F77,JMC] 11-Jun-78		HISTORY OF LISP
REF[F77,JMC] 04-Feb-78		References for lisp history
LISP.CDR[F77,JMC] 04-Feb-78	Hewitt on LISP history
ABSTRA[S78,JMC] 25-Apr-78	Abstract AI Memo with Sato et. al ??
MUSK[W78,JMC] 23-Jan-78		Addresses in Georgian Academy
COMMON[W78,jMC] 03-May-78	TOWARDS A SCIENCE OF COMMON SENSE
LISP.NOT[W78,JMC] 05-Mar-78	Answers to questionnaire on LISP history
CIRCUM[W78,JMC] 30-Jan-78	CIRCUMSCRIPTION INDUCTION draft early version
				- A WAY OF JUMPING TO CONCLUSIONS
FIRST.REV[W78,JMC] 20-Jan-78	Start on revision of Rec. Prog
				in 1st order logic
ADVENT[E77,JMC] 22-Jun-77	Notes on the improvement of the "Adventure Game".
IJCAI.C[E77,JMC] 02-Jul-78	1977 IJCAI paper
COUNTE[E77,JMC] 28-Jun-77	EXPLAINING COUNTERFACTUALS WITH CARTESIAN PRODUCTS
DOGMIN[E77,JMC] 29-Oct-77	THE MINDS OF DOGS
MINIMA[S77,JMC] 11-Jul-78	CIRCUMSCRIPTION INDUCTION 
				- A WAY OF JUMPING TO CONCLUSIONS
SATO[W77,JMC] 24-Feb-77		Introduction to paper with Sato, et. al.
CONDIT[W77,JMC] 28-Mar-77	CONDITIONAL EXPRESSIONS - for American
				Mathematical monthly
IJCAI.2[W77,JMC] 09-Apr-77	Early draft of IJCAI 77
MENTAL[F76,JMC] 05-Dec-77	ASCRIBING MENTAL QUALITIES TO MACHINES
CONCEP[E76,JMC] 01-Sep-77	FIRST ORDER THEORIES OF INDIVIDUAL CONCEPTS
				AND PROPOSITIONS
APPLIC[E76,JMC] 20-Aug-76	APPLICATIONS TO ARTIFICIAL INTELLIGENCE (of concepts)
STATE[E76,JMC] 14-Jul-76	Propositions with quantifiers
TRULY[E76,JMC] 19-Sep-76	TRULY INVARIANT ASSERTIONS
SAMEFR[F76,JMC] 21-Jan-77	SIGART article about samefringe
MRHUG[S76,JMC] 13-Dec-76	AN EXAMPLE FOR NATURAL LANGUAGE UNDERSTANDING
KNOW.ART[F75,JMC] 18-Sep-77	AN AXIOMATIZATION OF KNOWLEDGE
				AND THE EXAMPLE OF THE WISE MAN PUZZLE
FIRST[F75,JMC] 25-Dec-75	FIRST ORDER LOGIC AND SET THEORY
				IN ARTIFICIAL INTELLIGENCE
RELATI.POX[CUR,JMC] 25-Sep-75	Relativistic Systems of Automata
PHIL[ESS,JMC] 23-May-75		McCarthy and Hayes with slight mods
RECUR.ART[ESS,JMC] 23-May-75	RECURSION - for Encyclopedia of Computer Science
ELEPHA[W80,JMC] 14-FEB-80	1980 revision of Elephant paper
LISP functions-LISP

LISP.LOR[S79,JMC] 22-Jun-79	Notes on the use of Maclisp
TFLAT.LSP[E78,JMC]	iterative trace function corresponding to flat[x,u]
SORT.LSP[W78,JMC] 08-Jan-78	LISP functions for sorting
CANTOR.LSP[W78,JMC] 29-Jan-78	Cantor ordering on ordinals less than ε0
EVAL2.LSP[W78,JMC] 29-Mar-78	Another eval
EVAL3.LSP[W78,JMC] 09-Mar-78	Yet another eval
INVERT.LSP[W78,JMC] 22-Mar-78	Inversion of LISP expressions
INVER2.LSP[W78,JMC] 19-Mar-78	Inversion of LISP expressions
NEWSUB.LSP[W78,JMC] 29-Mar-78	SUBLIS treating quantifiers specially
LAMBDA.LSP[W78,JMC] 29-Mar-78	LISP in λ-calculus
LIBRAR.LSP[W78,JMC] 30-Mar-78	LISP functions using generators of new states
PATTER.LSP[F77,JMC] 20-Nov-77	INST and SOLS
FLAT.LSP[F77,JMC] 13-Dec-77	Intensional functions related to flat
EVAL.LSP[F77,JMC] 13-Dec-77	Hewitt's eval
NORMAL.LSP[F77,JMC] 29-Dec-77	random lisp function
2P.LSP[W77,JMC] 24-Jan-77	Fredkin program for next larger prime
NEXSUB.LSP[F76,JMC] 05-Oct-76	inscrutable ILISP
READ.LSP[F76,JMC] 19-Sep-76	Read and Print functions - ILISP
MATCH.LSP[F76,JMC] 08-Nov-76	INST followed by assignments to vars in pattern
INST2.LBK[F76,JMC] 08-Nov-76	Commutative and associate versions of INST
INST2.LSP[F76,JMC] 08-Nov-76	commutative and associative versions of INST
RULE.LSP[F76,JMC] 08-Nov-76	sample rules for TRANSFORM
INST2.MLS[F76,JMC] 02-Dec-76	Commutative and associative INST
INST2.BB[F76,JMC] 07-Dec-76	commutative and associative
SAME.LSP[F76,JMC] 06-Feb-77	samefringe
INST2.PUB[F76,JMC] 07-Dec-76	Commutative and associative
SAME.PUB[F76,JMC] 13-Dec-76	samefringe
SAMEF[F76,JMC] 13-Dec-76	samefringe
SAME.FR[F76,JMC] 10-Dec-76	Someon's improved version
RESIDU.LSP[F76,JMC] 20-Jan-77	efficient version samefringe
RESIDU.PUB[F76,JMC] 16-Dec-76	
COMMON.LSP[F76,JMC] 16-Dec-76	Eliminates common subexpressions
HARRIN.LSP[F76,JMC] 23-Dec-76	Harrington's common subexpression eliminator
INST3.LSP[F76,JMC] 27-Dec-76	INST with alists (plural)
INST4.LSP[F76,JMC] 27-Dec-76	instval and instvar
SOLVE.LSP[F76,JMC] 27-Dec-76	just a start on problem solver
LISP2[W76,JMC] 20-Jan-76	LISP 2 SPECIFICATIONS
FIXUP2[F75,JMC] 28-Nov-75	Unknown LISP functions
FIXUP.LBK[F75,JMC] 20-Nov-75	LISP functions
FIX[F75,JMC] 20-Nov-75	LISP functions
FIXUP2.LBK[F75,JMC] 25-Nov-75	More functions
FIXUP[F75,JMC] 26-Nov-75	functions
REVAL.LBK[F75,JMC] 09-Dec-75	Italian eval
REVAL2.LBK[F75,JMC] 10-Dec-75
REVAL[F75,JMC] 15-Jan-76
REVAL3.LBK[F75,JMC] 10-Dec-75
REVAL.TES[F75,JMC] 09-Jan-76	Tests for Italian eval
SPREAD[ESS,JMC] 17-Nov-75	A lisp function
TFLAT.LSP[E78,JMC] 11-Jul-78	Does a trace of flat[x,u]
TAK.LSP[E78,JMC] 01-Oct-78	The Takeuchi function and friends
COUNT.LSP[F78,JMC]	call-by-name calls counter
NEEDEV.LSP[F78,JMC]	call-by-need eval
PAT.LSP[F78,JMC]	obscure
QTAK.LSP[F78,JMC]	version of Takeuchi funtion
TAK.LSP[F78,JMC]	yet another qtak
TAK2.LSP[F78,JMC]	Takeuchi function
FOL axioms, proofs and papers -AXIOMS

KNOWLE.AX[E78,JMC]	start on knowledge axioms with learning and K(person,
proposition,time)
CALIBA.AX[E78,JMC]	Caliban's will
SANDP2.AX[S78,JMC] 03-Jul-78	Axioms for Mr. S and Mr. P
SANDP.AX[S78,JMC] 26-Jun-78	Axioms for Mr. S and Mr. P
WISE3.AX[S78,JMC] 26-Jun-78	Axioms for 3 wiseman problem
WISE3.PRF[S78,JMC] 24-Jun-78	Proof of 3 wiseman problem
UNFAIT.AX[S78,JMC] 30-Jun-78	start on axiomatizing unfaithful wives
BLOCKS.AX[W78,JMC] 17-Jan-78	Axiomatization of world of 3 blocks
BLOCK2.AX[W78,JMC] 24-Jan-78	Axioms for 4 blocks
MOVOLD.AX[W78,JMC] 01-Feb-78	Axioms for moving
BLIROB.AX[W78,JMC] 09-Feb-78	More blind robot
MOVE.AX[W78,JMC] 09-Feb-78	More move axioms
ZF.AX[W78,JMC] 17-Mar-78	Axioms for Zermelo-Frankel
BLIOLD.AX[W78,JMC] 01-Feb-78	Blind robot axioms
INTEGE.AX[W78,JMC] 01-Feb-78	Axioms for integers
CORKY.AX[W77,JMC] 12-Jan-77	LISP axioms
COMPIL.AX[W77,JMC] 20-Jan-77	Axioms for McCarthy-Painter compiler
CORKY.PRF[W77,JMC] 11-Jan-77	Replacing CAR by car in append
LISP.AX[W77,JMC] 11-Jan-77	Lisp axioms
FUNDEF.AX[W77,JMC] 05-Feb-77	Function defs with CONS
CORKY2.AX[W77,JMC] 12-Jan-77	CAR and car
FLAT.PRF[W77,JMC] 13-Jan-77	Termination of flat
NEWFOL[W77,JMC] 13-Jan-77	Proposal for new FOL joint with IMSSS
CORKY2.PRF[W77,JMC] 12-Jan-77	Termination of append
LISP2.AX[W77,JMC] 06-Feb-77	LISP axioms
LISP3.AX[W77,JMC] 24-Jan-77	More LISP axioms
INTEGE.AX[W77,JMC] 13-Jan-77	integers
PRED.PRF[W77,JMC] 25-Jan-77	Proof that predecessor is total
INTEG2.AX[W77,JMC] 25-Jan-77	integer axioms
LISP4.AX[W77,JMC] 06-Feb-77	Somebody's (Richard's?) LISP axioms
				expressions.  Hurrah for abstract syntax
PUBTES[F76,JMC] 27-Oct-76	Test of macro for constructing conditional
LISP.AX[F76,JMC] 23-Nov-76	Total functions only
KNO.AX[E76,JMC] 03-Aug-76	Axioms with concepts
KNOJOE.AX[E76,JMC] 25-Jul-76	axioms with concepts
KNOW3.AX[E76,JMC] 03-Aug-76	Concepts with assignments and arithmetic
KNO1.PRF[E76,JMC] 28-Jul-76	A person comes to know what he is told.
KNOW.AX[E76,JMC] 27-Jul-76	with concepts, wants and future
KNO2.AX[E76,JMC] 30-Jul-76	Knowledge with wants and likes
LIST.AX[F76,JMC] 26-Nov-76	Axioms for append and reverse assuming totality
APPNIL.PRF[F76,JMC] 25-Nov-76	u*NIL=u assuming totality
CONCEP.AX[S76,JMC] 03-Jun-76	NOtes for knowledge, can, causality axioms
KNOW.AX[S76,JMC] 05-Jun-76	Propositions are true in situations
EXTENS.AX[S76,JMC] 15-Jun-76	Extensional forms
CONCE2.AX[S76,JMC] 27-Jun-76	Axioms for concepts
TELLJO.AX[S76,JMC] 29-Jun-76	Joe does what he thinks will achieve his goals
CHECKE.AX[W76,JMC] 31-Jan-76	Axioms for mutilated checker board
HEAVY.SET[W76,JMC] 26-Jan-76	Notes on Heavy Duty Set Theory
HEAVY.AX[W76,JMC] 28-Jan-76	Heavy duty set theory
UNIT.PRF[W76,JMC] 22-Jan-76	The unit set is a set
Z2.AX[W76,JMC] 24-Jan-76	Axioms for integers
BLOCKS.AX[W76,JMC] 13-Feb-76	Old blocks axioms
HEAVY.THE[W76,JMC] 31-Jan-76	Theorems in heavy duty set theory
TAUT.PRF[F75,JMC] 13-Dec-75	Even fools know tautologies
KNOW.AX[F75,JMC] 15-Dec-75	General knowledge axioms
KNOW.AX2[F75,JMC] 29-Dec-75	Kripkean knowledge axioms
REV1.PRF[F78,JMC]	proof of properties of rev1
REVDIS.PRF[F78,JMC]	distributivity of rev1
TAK2.AX[F78,JMC]	axioms for Takeuchi function
TAK2.PRF[F78,JMC]	memo with proof of Takeuchi function
TAKEUC.AX[F78,JMC]	axioms for Takeuchi function
TAKEUC.PRF[F78,JMC]	proof of correctness of Takeuchi function
Not used

LISP book -BOOK

lspcmt[lsp,clt]			Carolyn's files

THEORY.NEW[W78,JMC] 21-Apr-78	New draft of theory chapter of LISP book
INTRO[W78,JMC] 20-Mar-78	Introduction for LISP book
INTRO2[W78,JMC] 20-Mar-78	Another draft of LISP book introduction
FIRST.QUE[W78,JMC] 17-Jan-78	Notes for Rec. Prog. in 1st order logic
IMPURE[F77,JMC] 15-Nov-77	IMPURE PROGRAMS AND UNCLEAN PROGRAMS
IMPLEM.LIS[F77,JMC] 08-Nov-77	Chapter on implementation of LISP
MCPAIN[F77,JMC] 23-Nov-77	Correctness of a Compiler for Arithmetic Expressions
ABSTRA[F77,JMC] 19-Nov-77	Abstract Syntax and the Correctness
				of a Compiler for Arithmetic Expressions
LISP.2[F77,JMC] 11-Nov-77	Additional chapters and sections to LISP book.
HARD.LSP[F77,JMC] 15-Dec-77	SOME DIFFICULT LISP PROBLEMS
MICRO[F77,JMC] 10-Mar-78	A MICRO-MANUAL FOR LISP - NOT THE WHOLE TRUTH
ABSTRA[W78,JMC] 20-Mar-78	ABSTRACT SYNTAX
MICROM[E77,JMC] 01-Jul-77	MICRO-MANUAL FOR LISP - MOSTLY TRUTHFUL%1
INFORM[E77,JMC] 05-Sep-77	Informal example of proof of program
APPEND[E77,JMC] 09-Sep-77	Putting FOL proofs in appendix
THEORY[S77,JMC] 10-May-77	Old draft of chapter 3
SAMEFR[S77,JMC] 02-Jun-77	%3correctness OF %2samefringe%1
PROGRA[F76,JMC] 29-Sep-76	.ss Numerical computation
CH1N2[E76,JMC] 10-Sep-76	Draft of chapter I
REPRES.ALT[E76,JMC] 10-Sep-76	Representation of LISP functions as lists.
PROGRA[E76,JMC] 26-Sep-76	Numerical and sequential programming
TRANS1.BB[F76,JMC] 03-Nov-76
SAME.VAR[F76,JMC] 09-Dec-76	Blackboard version of same
GAME.BB[F76,JMC] 03-Nov-76
TRANS2.BB[F76,JMC] 04-Nov-76
INST.BB[F76,JMC] 04-Nov-76
SEXP[F75,JMC] 05-Oct-75	Writing LISP programs as S-expressions
QUINE[S76,JMC] 26-Apr-76	Given termination tester,give counterexample.
ORDINA[E78,JMC] 29-Jul-78	Induction on rank and the transfinite ordinal numbers
ORDER.PRB[W79,JMC] 01-Jan-79	Programs and proofs about ordinals less than ε0.
BOOK[F78,JMC]			Goedel numbers for book
Articles -ART

ARTIFI.2[W78,JMC] 07-May-78	Collier's Encyclopedia article on AI
ARTIFI.3[W78,JMC] 09-May-78	Another draft of Collier's article on AI
ARTIFI[W78,JMC] 02-Apr-78	ARTIFICIAL INTELLIGENCE - for Collier's Enc.
HAUGEL.NOT[W78,JMC] 25-Jan-78	Notes on Haugeland paper
HAUGEL[W78,JMC] 03-Feb-78	Comments on John Haugeland's
CHROMA[W78,JMC] 28-Jan-78	ARCHAEOLOGICAL CHROMATOGRAPHY
REPLY[F77,JMC] 14-Oct-77	MAKING AN EFFECTIVE RIGHT OF REPLY
UNEMPL[F77,JMC] 08-Nov-77	Notes on unemployment
AFRICA[F77,JMC] 05-Nov-77	TOWARDS MEDIATION IN SOUTH AFRICA
ESCAPE[F77,JMC] 05-Nov-77	ESCAPING THE WELFARE STATE
PSYCHO[F77,JMC] 12-Nov-77	PSYCHOLOGICAL PHENOMENA IN POLITICS
IRRATI.ESS[S78,JMC] 27-Jun-78	TOWARDS A LOGICAL THEORY OF HUMAN IRRATIONALITY
COMPOL[S78,JMC] 19-May-78	COMPUTER AIDS TO IMPROVING POLITICS
POLITI[S78,JMC] 02-May-78	THE SEVEN LEVELS OF POLITICAL PARTICIPATION
ETHICS[S78,JMC] 24-May-78	POLITICAL ENTHUSIASM AND ENGINEERING ETHICS
CRASH[S78,JMC] 12-Jul-78	PROPOSAL FOR A STUDY OF A NATIONAL CRASH PROGRAM IN ENERGY
SOCIAL[W78,JMC] 12-Feb-78	Some notes on conservative view of social change
PROLIF[W78,JMC] 01-Apr-78	THE PRESENT DANGER OF NUCLEAR WAR
INDUST[W78,JMC] 06-Feb-78	Gloom about the post-industrial society
DEATH[E77,JMC] 02-Jul-77	THE DEATH PENALTY AND THE CONSTITUTION
POLITI[E77,JMC] 03-Sep-77	ENERGY AND POLITICS
CIRCUM[E77,JMC] 07-Oct-77	Circumstances, not personality determine behavior
SECESS[E77,JMC] 30-Jul-77	Could we secede from anti-technology
JUSTIC[E77,JMC] 05-Aug-77	Justice as right to emigrate
				Consequences of population stability
PREDAT[E77,JMC] 09-Aug-77	A PREDATORY CULTURE?
INTELL[S77,JMC] 16-Jun-77	NOTES ON INTELLIGENCE IN THE UNIVERSE
CARTER[W77,JMC] 02-Feb-77	A DEPRESSING SPEECH
BREEDE[W77,JMC] 15-Feb-77	The breeder and ideology - a bare start
WHATIF[W77,JMC] 17-Mar-77	ESCAPING THE COLLAPSE OF AMERICAN SOCIETY
HUMANI[F76,JMC] 26-Oct-76	COMPUTERS AND THE HUMANIZATION OF BUSINESS
HAPPIN[F76,JMC] 18-Oct-76	HAPPINESS IS A DUBIOUS CONCEPT
ESCAPE[E76,JMC] 19-Sep-76	ESCAPE FROM THE EARTH
REVOLU[E76,JMC] 21-Sep-76	THE REAL COMPUTER REVOLUTION
AFRICA[F76,JMC] 02-Dec-76	ON PREVENTING NUCLEAR WAR IN AFRICA
WOMEN[F76,JMC] 22-Dec-76	WOMEN IN SCIENCE, MATHEMATICS AND ENGINEERING
SFWA[S76,JMC] 14-Apr-76		Fine talk, but unfortunately not given that way.
COMMUN[S76,JMC] 27-Apr-76	WILL WEST EUROPEAN COMMUNISM BECOME STALINIST
TENURE[S76,JMC] 30-Apr-76	Justification of tenure system
OPTIM[F75,JMC] 20-Sep-75	THE SCIENTIFIC BASIS FOR TECHNOLOGICAL OPTIMISM
AAAS[W76,JMC] 20-Feb-76	The real computer revolution hasn't happened.
COMMUN[W76,JMC] 13-Feb-76	WHY THE COMMUNISTS CAN'T KEEP DEMOCRACY
				EVEN IF THEY SINCERELY THINK THEY WILL
KOREA[W76,JMC] 05-Apr-76	KOREA'S AMERICAN POLICY
HOTER.ESS[W76,JMC] 09-May-76	THE HOME INFORMATION TERMINAL
RESOUR[W76,JMC] 12-Mar-76	Importance of low grade ores
FREEDO[W76,JMC] 28-Mar-76	THREATS TO FREEDOM OF SCIENTIFIC INQUIRY
DEPEND[W76,JMC] 18-Aug-76	ENDING DEPENDENCE ON AMERICA
SUN.OUT[W76,JMC] 26-Feb-76	WHAT IF THE SUN WENT OUT
IJCAI.DOC[F75,JMC] 27-Oct-75	Requests for comments on IJCAI report
CPDUST[CUR,JMC] 02-Jan-75	COMMITTEE FOR PROMOTION AND DEFENSE
				OF USEFUL SCIENCE AND TECHNOLOGY
IDEOLO.ART[CUR,JMC] 18-Dec-74	ENERGY AND IDEOLOGY
SOCIAL.DEF[CUR,JMC] 04-May-78	THE DEFECTS OF SOCIALISM
LEADER.ART[CUR,JMC] 19-Dec-74	THE UNITED STATES SHOULD RESIGN AS LEADER
				OF THE FREE WORLD
IDEOLO[CUR,JMC] 21-Jul-75	THE THREADS OF LEFT-WING IDEOLOGY
ISOLAT.ESS[ESS,JMC] 26-Mar-75	THE CASE FOR ISOLATIONISM
BASIC.ESS[ESS,JMC] 10-Jun-74	BASIC SCIENCE AND BASIC TECHNOLOGY
REPLY[E78,JMC] 26-Jul-78	COMPUTER TECHNOLOGY AND THE RIGHT OF REPLY
ALGOL[E78,JMC] 15-Sep-78	The ALGOL committee changed its purpose
SLOW[E78,JMC] 20-Sep-78		WHY IS PROGRESS SO SLOW?
CONCEP[F78,JMC]			FIRST ORDER THEORIES OF INDIVIDUAL CONCEPTS
				AND PROPOSITIONS
AIM1.PUB[W79,JMC]	PREDICATE CALCULUS WITH "UNDEFINED" AS A TRUTH VALUE
				AI Memo 1
Quasar and other fakery -QUASAR

CATHY.QUA[F77,JMC] 07-Jan-78	Quasar stuff
QUASAR[S78,JMC] 15-Jun-78	STATEMENT ON THE STATE OF THE ART IN ROBOTICS
FAKE.LIS[F77,JMC] 21-Nov-77	Mailing list for quasar stuff
HARSH.QUA[F77,JMC] 01-Dec-77	Harsh version of CMU Quasar report
PRESS.QUA[F77,JMC] 01-Dec-77	STANFORD UNIVERSITY PRESS RELEASE
MESS.QUA[F77,JMC] 01-Dec-77	File of messages about Quasar
FAKE.MEM[F77,JMC] 14-Nov-77	Justification of press release
NYT.QUA[F77,JMC] 04-Dec-77	Klinefeld article on Quasar
QUASAR[F77,JMC] 21-Nov-77	Quasar promotional material
SWINDL[F77,JMC] 22-Nov-77	How Quasar might be making money
LADY.QUA[F77,JMC] 22-Nov-77	How to detect attempt to swindle
GMROB.QUA[F77,JMC] 22-Nov-77	GM report on Quasar
MORE.QUA[W77,JMC] 12-Feb-78	Quasar sentry from Popular Electronics
CSD affairs -CSD

phones.pty[inf,csd]
people.csd[dir,csd]
csd.bbd[inf,csd]

LISP.PRO[S78,JMC] 22-Apr-78	Memo on changing catalog description of LISP
course.
CATALO[S78,JMC] 28-Apr-78	New catalog descriptions of my courses
VERIFI[S78,JMC] 14-May-78	Propaganda for verification in CS education
MANNA.PR1[LET,JMC] 24-Apr-78	Long form for Manna
FILMAN.REC[F77,JMC] 13-Dec-77	Filman recommendation
AIQUAL[S77,JMC] 09-May-77	PREPARATION FOR AI QUAL
LSPLUG[W77,JMC] 09-Jan-77	Vaughan Pratt brief for LISP as teaching language
LSPLUG.PUB[W77,JMC] 17-Jan-77	Vaughan Pratt plug for LISP
LSPLUG.DOC[W77,JMC] 13-Jan-77	Another version of the LISP plug.

SIGMA[W77,JMC] 07-Mar-77	Sigma Xi lecture topics
POLICY[W77,JMC] 07-Mar-77	AI Lab policy on CSD use
CSDDIS.DOC[206,JMC] 14-Nov-73	Departmental display system
CSDDIS.PRO[F76,JMC] 14-Jan-77	Departmental display system
MANNA.RE1[E76,JMC] 26-Jul-76	Justifying Manna as PI
LUCKHA.BLA[F75,JMC] 03-Oct-75	He should have PI status
SCIP[CUR,JMC] 19-Mar-75		Comments on SCIP report
AI2.QUA[ESS,JMC] 15-Feb-72	'72 AI Syllabus
AISY2.QUA[ESS,JMC] 12-Jan-72	'69 AI Syllabus
AISY69.QUA[ESS,JMC] 24-Jan-72	'69 AI Syllabus
AI72.QUA[ESS,JMC] 05-May-76	1972 AI Qual
Environment, etc. -ENV

HAYES.RE1[S78,JMC] 27-May-78	Criticism of conservation paper by Denis Hayes
SUNDAY[S78,JMC] 17-May-78	Sun Day and the ethical problems of scientist
and engineers
OPINIO[S78,JMC] 25-Jun-78	Opinion poll on prop. 13 - bulletin board
IDEOLO.ENE[F77,JMC] 08-Oct-77	ENERGY AND THE ANTI-TECHNOLOGY IDEOLOGY
SMOKE[F77,JMC] 30-Nov-77	WHY THE ANTI-SMOKING PETITION SHOULDN'T BE SIGNED
PANEL[S78,JMC] 18-May-78	Appropriate science - handout for panel
NLCPI[S77,JMC] 09-Jun-77	NOTES FOR NLCPI ACADEMIC ADVISORY COUNCIL MEETING
SHUTDO[S76,JMC] 08-Apr-76	If prop. 15 passes, the enviromentalists will be
				sorry.
SORRY[S76,JMC] 08-Apr-76	WHY THE ENVIRONMENTALISTS WILL BE SORRY
				IF THEY PASS PROPOSITION 15
ENERGY[W76,JMC] 16-Jan-76	AN ENERGY CRISIS IS COMING
IDEOLO[W76,JMC] 01-Feb-76	IDEOLOGY AND ENERGY
DAILY.ART[F75,JMC] 06-Dec-75	THE ACADEMIC COMMUNITY AND THE NEXT ENERGY CRISIS
REFERE[ESS,JMC] 15-Mar-76	ecoreferences: losers
ECO.ESS[ESS,JMC] 26-Mar-75	WORRIES ABOUT THE ENVIRONMENTAL MOVEMENT
QUOTES[ESS,JMC] 05-Jun-78	Revealing quotes from Ehrlich,Commoner, Train
Proposals -PROPOS

RENEW.PRO[W80,JMC] 15-MAR-80	NSF proposal renewal for 3rd year
RENEW.PRO[W79,JMC] xx-apr-79	NSF proposal renewal for 2nd year
PROOF.PRO[E78,JMC] 29-Jul-78	Proposal for CS206 proof-checker
RENEW[S78,JMC] 06-Jul-78	Proposal to renew Dialnet project
FR.NOT[S78,JMC] 04-Jul-78	leftovers on 1978 ARPA renewal proposal
NSF[E77,JMC] 21-Apr-78	NSF proposal for Basic Research in AI
NSF.NOT[E77,JMC] 11-Jul-77	Notes for Basic AI NSF proposal
NSF.ADD[E77,JMC] 07-Sep-77	Addendum to NSF Basic AI proposal
NEW.PRO[W77,JMC] 18-Mar-77	1977 proposal material
NEW1.PRO[W77,JMC] 18-Mar-77	1977 proposal
ARPA[W77,JMC] 12-Mar-77		Manna material for 1977 proposal
MTC.PRO[W77,JMC] 14-Mar-77	1977 MTC proposal material
OLD1.PRO[W77,JMC] 18-Mar-77	Material for 1977 proposal
CSDDIS.PRO[F76,JMC] 14-Jan-77	Departmental display system
RUSSEL.DIV[E76,JMC] 16-Aug-76	RUSSELL'S DIVISION OF ARPA ITP PROJECTS
CONCEP.ADV[E76,JMC] 26-Jul-76	ARPA RELEVANCE OF RECENT RESULTS ON CONCEPTS
REPORT[E76,JMC] 27-Jul-76	Report by Glassmire on FOL et. al.
ACCOMP[S76,JMC] 18-Jun-76	Accomplishments of AI Lab
CARLST.CON[W76,JMC] 09-Jan-76	Conversation with Carlstrom
IJCAI.ENQ[F75,JMC] 19-Sep-75	Request for advice on IJCAI-75 report
SURVEY.REQ[F75,JMC] 21-Oct-75	Request from Russell for survey articles
BELLNE.PRO[F75,JMC] 23-Sep-75	Early version of Dialnet proposal
ACCOMP[W76,JMC] 27-Feb-76	ACCOMPLISHMENTS IN FORMAL REASONING
BULLET[F75,JMC] 17-Oct-75	FORMAL REASONING
ARPA.PLN[F75,JMC] 22-Oct-75	FIVE YEAR PLAN FOR FORMAL REASONING (first draft)
OFFICE.PLN[F75,JMC] 23-Oct-75	ARPA INITIATED DOD STANDARDS ON OFFICE COMPUTER SYSTEMS
ARPMTC[CUR,JMC] 01-Mar-75	Answers to Licklider questions
REPRES.LIC[CUR,JMC] 10-Dec-74	THE FORMAL EXPRESSION OF HUMAN REASONING
REPRES.LI2[CUR,JMC] 09-Dec-74		Formal reasoning and MTC groups
RUSSEL.REQ[ESS,JMC] 19-Oct-75	Subject: OUTLINE OF PLANNED BASIC AI WORK
AI.HIS[ESS,JMC] 30-Dec-72	Justification of DoD support of AI
3D.NSF[ESS,JMC] 14-Nov-73	Proposal on 3-d drawings
ARPA.PUB[ESS,JMC] 24-Nov-75	1973 ARPA proposal
AUTDED[ESS,JMC] 19-Oct-75	Luckham for proposal
mtc -MTC

EXTENS[F77,JMC] 07-Oct-77	"#. Programs as objects and extensional forms."
BLOB[W76,JMC] 19-Feb-77		THE BLOB FUNCTIONS OF FLOW CHARTS
FIRST.NEW[W77,JMC] 23-Jun-78	REPRESENTATION OF RECURSIVE PROGRAMS
				 IN FIRST ORDER LOGIC
CORREC[S78,JMC] 28-May-78	STATING THE CORRECTNESS OF LISP PROGRAMS
INTENS[E78,JMC] 30-Jul-78	INTENSIONAL PROPERTIES OF RECURSIVE PROGRAMS
EXOTIC[W77,JMC] 13-Aug-77	EXOTIC CONTINUOUS FUNCTIONALS
NOTES[E78,JMC]/2p 30-Jul-78	iterativity is extensional in the functional
AIRLIN.MTC[ESS,JMC] 02-Dec-71 THE MCCARTHY AIRLINE RESERVATION SYSTEM
TAKEUC[E78,JMC] 28-Sep-78	AN INTERESTING LISP FUNCTION
TAKEUC.TEX[F78,JMC]	AN INTERESTING LISP FUNCTION - Takeuchi - TEX version
BEN[W79,JMC]		Suggestions for Ben Moszkowski on derived functions
CBN[W79,JMC]		Examples of call-by-name recursion counters.
AI and philosophy study	-AIPHIL

AIPHIL.2[F77,JMC] 03-Nov-77	1979-80 STUDY OF ARTIFICIAL INTELLIGENCE
				AND PHILOSOPHY
AIPHIL[F77,JMC] 29-Dec-77	Names and references for study
TRIP[S78,JMC] 16-Jun-78		prices for trip
KNOW.LST[S78,JMC] 04-Jun-78	People interested in knowledge
AIPHIL.2[S78,JMC] 26-May-78	Announcement of CASBS AI and philosophy study
NAME[ESS,JMC] 15-Sep-77		names of philosophers
AIPHIL.PRO[W79,JMC]		for CASBS Sloan proposal for AIphil
Reviews -REVIEW

BODEN.CRI[F77,JMC] 09-Oct-77	Boden's 1st book
DENNET.CRI[F77,JMC] 15-Oct-77	Dennet books and papers
BODEN2.CRI[F77,JMC] 24-Oct-77	Artificial intelligence and natural man
BACKUS[S78,JMC] 06-Jun-78	Remarks on a paper of Backus
WEIZEN[S78,JMC] 08-May-78	Counters to Weizenbaum comments on Future Study
HAUGEL.NOT[W78,JMC] 25-Jan-78	haugeland on cognitivism
HAUGEL[W78,JMC] 03-Feb-78	"The nature and problems of cognitivism"
OWL.NOT[E77,JMC] 28-Jun-77	Comments on Martin's OWL
BARAN.RE1[E77,JMC] 28-Aug-77	Communication and computation should be separate
COMMAN[E77,JMC] 11-Sep-77	Commentary on Command Neuron Idea
				for Behavioral and Brain Sciences
CGOL.GRU[W77,JMC] 05-Feb-77	GRUMBLES ABOUT CGOL
PRATT[W77,JMC] 05-Feb-77	Pratt reply to CGOL.GRU
FILMAN[W77,JMC] 07-Mar-77	Suggestions on Filman dissertation
SUPPES.LE1[LET,JMC] 17-Mar-77	Comments on Suppes's "From behaviorism to
				neobehaviorism
AI[W77,JMC] 01-Oct-77		Comments on "The State of Technology
				 in Artificial Intelligence" by
				Duda, Nilsson, and Raphael
BELL.MOR[W77,JMC] 27-Mar-77	More on Danel Bell
STUDY.FS[W77,JMC] 28-Mar-77	Comments for Future Study
LICKLI.MOR[W77,JMC] 27-Mar-77	More comments on Licklider paper
WINSTO[F76,JMC] 13-Oct-76	Comments on Winston's "Artifical Intelligence"
BOLLES[E76,JMC] 13-Sep-76	Comments on Bolles's dissertation
PREJUD[E76,JMC] 15-Sep-76	PREJUDICED ANALYSIS article in Creative Computing
COMMEN[S76,JMC] 11-May-76	For future study
WEIZEN.RE2[S76,JMC] 25-Oct-76	Physics Today review of Weizenbaum
MOORE[S76,JMC] 12-May-76	Comments on your draft dissertation proposal:
WEIZEN.RE3[S76,JMC] 27-Apr-76	Physics Today review
MORAVE[S76,JMC] 29-May-76	Comments on "The Role of RAW POWER
				in INTELLIGENCE" by Hans Moravec
III[S76,JMC] 07-Jun-76	III AND OFFICE AUTOMATION
KAHN.RE1[S76,JMC] 23-Jun-76	Kahn and Gorry - report
NEWBOR.REV[F75,JMC] 30-Sep-75	Computer Chess, Monroe Newborn
WEIZEN[W76,JMC] 19-Apr-76	AN UNREASONABLE BOOK
PARKER[W76,JMC] 27-Feb-76	Social Implications of Computer/Telecommunications
				Systems - Parker.
COUNTE[F75,JMC] 27-Sep-75	NOTES ON COUNTERFACTUAL CONDITIONAL, esp. Lewis
RYLE.REV[F75,JMC] 21-Oct-75	A little bit on Ryle
GILFIL.REV[F75,JMC] 01-Nov-75	Migration to the stars
POLEMI.MEN[F75,JMC] 05-Jan-76	With Taylor
NOTE.MJH[206,JMC] 07-Nov-73	Note to Marsha Jo Hanna suggesting correlation scale
LIGHT.RE5[ESS,JMC] 25-Jul-75	Lighthill review
DREYFU.REV[F78,JMC]	review of Dreyfus paper for IEEE
FINDLE.REV[F78,JMC]	comments on Findler proposal
CS206 -CS206

MIDTER.206[F77,JMC] 27-Oct-77	Fall 77 midterm
PROB.206[F77,JMC] 02-Nov-77	A DIFFICULT VERIFICATION PROBLEM
FINAL.F77[F77,JMC] 22-Jan-78	Fall 1977 final
TERM.206[S77,JMC] 12-May-77	TERM PROJECTS FOR CS206
PROBLE.206[S77,JMC] 18-May-77	Proof problems for CS206
FINAL.S77[S77,JMC] 08-Jun-77	CS206∂(30)FINAL EXAMINATION→SPRING 1977
PROB.206[W77,JMC] 06-Feb-77	Another problem
PROB1.206[W77,JMC] 07-Apr-77	Problem set to be done at LOTS
EXERCI.206[W77,JMC] 28-Mar-77		Notes for first exercise
TASK.TA[F75,JMC] 02-Oct-75	TASKS FOR THE TEACHING ASSISTANT IN CS206
NICK.FIL[F75,JMC] 30-Sep-75	This is a list of the files in 206,nxl.
TERMPA.206[F75,JMC] 25-Nov-75	Term papers for CS206
206JMC.ARC[206,LSP] 26-Jul-78	Carolyn's inventory of 206,jmc
Research notes -RESEAR

SOLVE[F77,JMC] 20-Nov-77	Note on the LISP inversion problem solver
NOT[F77,JMC]/2p 28-Nov-77	Reducing frame problem to qualification problem
NOT[F77,JMC]/3p 28-Nov-77	Epistemology of general problem solving
PROBLE[S78,JMC] 04-Jul-78	Features of proposed problem solver.
PATTER[S78,JMC] 23-Apr-78	Patterns in sequence solitaire
BLOCKS.NOT[W78,JMC] 27-Jan-78	Notes on blocks axiomatizations
PATTER.NOT[W78,JMC] 26-Mar-78	notes for patterns in logic paper
CONJEC[W78,JMC] 21-Apr-78	CONJECTURES ABOUT CONTINUOUS FUNCTIONS ON FLAT DOMAINS
RECURS.NOT[W78,JMC] 15-Mar-78	Expressing theorems about recursion in set theory.
ABSTRA[W78,JMC] 20-Mar-78	ABSTRACT SYNTAX
MISSIO[W78,JMC] 23-Mar-78	NOTES ON THE MISSIONARIES AND CANNIBALS
MAXIMA[W78,JMC]			Conjectures about a maximal consistent set theory
PERSON[W78,JMC] 06-Mar-78	Abstract for Jerusalem talk on personal computing
PUZZLE[W78,JMC] 29-Jan-78	Solution to a blocks construction puzzle
EPISTE.NOT[W78,JMC] 25-Feb-78	Reference on epistemology (production version)
NOTES[W78,JMC] 27-Feb-78	Reference on Gentzen axioms for modal logic
IJCAI.NOT[E77,JMC] 23-Jun-77	Notes for 1977 IJCAI paper, more ideas than appeared
PARADO[E77,JMC] 12-Jul-77	Notes on paradoxes and self-application
NOTEBO.OK[S77,JMC] 05-Jun-77	Knowledge, political statements by scientists
				and applications of circumscription
CHALLE[S77,JMC] 30-May-77	Debate challenge to Weizenbaum - not sent
PROBLE.AI[S77,JMC] 17-Jun-77	Open problems of AI
SUBGOA[W77,JMC] 04-Feb-77	Minimization schema and subgoal induction
TRADE[W77,JMC] 25-Jan-77	THE TRADERS - AN EXAMPLE OF ASYNCHRONOUS ACTIONS
RECURS[W77,JMC] 28-Jan-77	DESCRIBING RECURSIVE FUNCTIONS IN FIRST ORDER LOGIC
PHILOS[W77,JMC] 05-Feb-77	MODELS OF EPISTEMOLOGICAL SYSTEMS
DERIVE[W77,JMC] 10-Feb-77	Derived Functions
FIRST.MOR[W77,JMC] 07-Apr-77	Second order schemata
REPRES[W77,JMC] 11-Feb-77	A NATURAL REPRESENTATION of recursive functions
COUNTE[W77,JMC] 24-Feb-77	COUNTERFACTUALS
				, CARTESIAN PRODUCTS AND APPROXIMATE THEORIES
NAIVE[W77,JMC] 02-Mar-77	A SOPHISTICATED THEORY OF NAIVE LANGUAGE
CONTIN[W77,JMC] 18-Mar-77	CONTINUOUS FUNCTIONALS AND THEIR LEAST FIXED POINTS
HARDWA[W77,JMC] 20-Mar-77	HARDWARE PERFORMANCE PROBLEMS OF
SAMEFR.RE1[W77,JMC] 22-Mar-77	reply to Burger
				 TIME-SHARED COMPUTERS
NOTES[E76,JMC] 15-Aug-76	More notes on motivation.
IDEA[E76,JMC] 13-Jul-76		Two tiny cryptic ideas
IGNORA[E76,JMC] 14-Sep-76	ANOTHER APPROACH TO IGNORANCE - Goad's
CONCEP.NOT[E76,JMC] 22-Nov-76	Some ideas about concepts
TASK[E76,JMC] 07-Sep-76	writing tasks
CONCEP.SUP[E76,JMC] 20-Aug-76	PHILOSOPHICAL REMARKS
MEANIN[F76,JMC] 23-Nov-76	Meanings as inverse limits
OWE[F76,JMC] 03-Dec-76	ABOUT OWING; it isn't necessarily a mental concept
MENTAL.NOT[F76,JMC] 06-Aug-77	Addenda to MENTAL
MENTAL.1[F76,JMC] 23-Dec-76	Notes
MENTAL.2[F76,JMC] 08-Jan-77	notes for mental
METAPH[F76,JMC] 29-Dec-76	Notes on Metaphysics
MENTAL.3[F76,JMC] 29-Jul-77	notes for MENTAL
CARTES[S76,JMC] 29-Apr-76	CARTESIAN PRODUCT SEARCH SPACES
PROBLE[S76,JMC] 12-May-76	A Classification of Problems in AI
FILE[S76,JMC] 25-May-76	DESCRIBING OTHER PEOPLE'S FILES
CONTEX[S76,JMC] 24-Jul-76	CONTEXT DEPENDENT SEMANTICS
MOTIV2.MEN[S76,JMC] 02-May-76	Peculiarities of human motivation
EXTENS[S76,JMC] 30-Jun-76	EXTENSIONAL FORMS
EXTENS.2[S76,JMC] 13-Jun-76	ABSTRACT FORMS - abstract synt + ext forms
FREGE[W76,JMC] 14-Jan-76	REHABILITATING FREGE
TASKS.SET[W76,JMC] 24-Jan-76	Getting good set theory in FOL
KNOW[W76,JMC] 30-Mar-76	KNOWLEDGE OF TELEPHONE NUMBERS
SEARCH[W76,JMC] 28-Mar-76	FINITE STATE SEARCH PROBLEMS
AI[F75,JMC] 25-Sep-75	General article on AI
AUTOMA.2[F75,JMC] 11-Dec-75	CONCEPTS DEFINED RELATIVE TO A THEORY
DEFINE[F75,JMC] 10-Oct-75	ASCRIPTIVE DEFINITIONS - just a fragment
GENERA[F75,JMC] 12-Oct-75	THE EPISTEMOLOGY OF GENERAL INTELLIGENCE
PHIL.ART[F75,JMC] 15-Oct-75	ascription, relative definition, etc.
CHESS.NOT[F75,JMC] 28-Nov-75	NOTES ON CHESS PROGRAMMING
MENTAL.SUP[F75,JMC] 03-Dec-75	More notes for MENTAL
MENTAL.NOT[F75,JMC] 21-Mar-76	more notes
SELFCO.MEN[F75,JMC] 01-Jan-76	More notes for MENTAL
WISEMA[F75,JMC] 03-Dec-75	ANOTHER FORMALIZATION OF THE WISE MAN PUZZLE
MOTIVA.MEN[F75,JMC] 08-Dec-75	ON MOTIVATIONAL STRUCTURES - ESPECIALLY HUMAN
CELLUL.MEN[F75,JMC] 27-Dec-75	notes for MENTAL
AUTOMA[F75,JMC] 11-Dec-75	NOTES ON AUTOMATA AND ARTIFICIAL INTELLIGENCE
NOTE1.MEN[F75,JMC] 24-Jan-76	Non-positivist
FINITI[F75,JMC] 30-Dec-75	FINITIZATION OF THEORIES (A research topic)
CBCL[F75,JMC] 24-Jan-76		THE COMMON BUSINESS COMMUNICATION LANGUAGE
EPISTE.MEN[F75,JMC] 11-Jan-76
OBSERV.MEN[F75,JMC] 01-Jan-76	Draft of section
RELDEF.MEN[F75,JMC] 26-Dec-75	Probably incorporated in text
MOTIV.MEN[F75,JMC] 19-Apr-76
CONTEN.MEN[F75,JMC] 01-Jan-76	The original plan of the paper
NOTE.MEN[F75,JMC] 19-Feb-76	Probably not superseded by the paper
AI.MEN[F75,JMC] 07-Jan-76	Probably included in text
CHANGE.MEN[F75,JMC] 21-Apr-76	Probably included
TECHNI.MEN[F75,JMC] 10-Feb-76	TECHNICAL MATHEMATICAL LOGICAL PROBLEMS
ECON.NOT[CUR,JMC] 01-Feb-75	What we need to know about economics
PHIL[CUR,JMC] 16-Feb-75	PHILOSOPHICAL PRINCIPLES OF ARTIFICIAL INTELLIGENCE
COMMON[CUR,JMC] 02-Jan-75	Common sense and computers
CHESS1[CUR,JMC] 05-Sep-74	Inference and observation
COMMON.MEN[ESS,JMC] 11-Jan-76	TOWARDS A SCIENCE OF COMMON SENSE
AI2.ESS[ESS,JMC] 26-Mar-75	STRUCTURE OF THE AI PROBLEM
CODE.PRO[ESS,JMC] 17-Sep-74	encipherment scheme
SUPERW[E78,JMC] 17-Sep-78	SUPERWOLF - A TEST OF EVOLUTION
CHERNI.RV1[F78,JMC]	THE ROSENBLOOM FALLACY
S1 -S1

WOOD[F77,JMC] 04-Dec-77		Notes on discussion with Lowell Wood
COMMAN.S1[W78,JMC] 28-Mar-78	NOTES ON THE COMMAND LANGUAGE FOR THE S-1
MACHIN[F75,JMC] 17-Dec-75	SOME PREJUDICES ON NEW MACHINE DESIGN
Miscellaneous -MISC

PEOPLE.DAT[PER,CSD]		The department phone and address list
LIB.LST[PUB,PAT]		Catalog of my library at Lab

loser[w80,jmc] 19-mar-1980	WSJ on IRS making citizens do its data processing
TRAVEL.REQ[W77,JMC] 10-Mar-77	1977 trip travel plan
CRACK.ESS[ESS,JMC] 26-Mar-75	WISECRACKS
LIST[S76,JMC] 06-Jun-76		Wedding reception invitees
RICHAR[F77,JMC] 02-Nov-77	Issues concerning FOL
BLACKL.IST[F77,JMC] 05-Nov-77	    Universities tolerating lecture disruption
				and other bad guys
TASKS[E77,JMC] 28-Jul-77	Summer 1977 tasks
FOL.COM[W76,JMC] 17-Jan-76	Note about mods to FOL
PDP10[W76,JMC] 22-Jan-76	USE OF THE STANFORD AI LAB TIME-SHARING SYSTEM
IBM[W76,JMC] 01-Mar-76	Computer profession's interest in IBM antitrust case
AICIRC.ABS[CUR,JMC] 07-Feb-75	EPISTEMOLOGY, FORMAL REASONING AND AI
SCIP[CUR,JMC] 19-Mar-75		Comments on SCIP report
ADFECT[ESS,JMC] 31-Mar-76	Def of "adfected"
ECHO.FAI[206,JMC] 05-JAN-71	FAIL exercise for echo
SAYING[F76,JMC] 24-Oct-76	I am he, who is not afraid to look in the corners.
APHOR.AI[CUR,JMC] 29-Jan-75	A few aphorisms

FACTS[ESS,JMC] 27-Jun-78	Miscellaneous useful facts
SERIAL[ESS,JMC] 06-Jan-76	Serial numbers of property and other facts
MONEY[ESS,JMC] 21-Mar-77	BALANCES IN JMC UNRESTRICTED ACCOUNTS March 21, 1977
NOTES[ESS,JMC] 11-Jul-78	Miscellaneous notes
SQUISH.E[ESS,JMC] 04-May-78	How to squish mail
IMLFIX[ESS,JMC] 16-Jan-77	apparently when system forgets tty15
NAMES[ESS,JMC] 29-May-73	names and addresses and phones
PUZZ.DDG[ESS,JMC] 19-Oct-75	Solution to random puzzle
LIVERM.F4[ESS,JMC] 07-Dec-76	Fortran program used to test T.S speed
REGIST[ESS,JMC] 29-Aug-73	1973 ijcai registrants
AAAS.PRO[ESS,JMC] 02-Oct-74	Proposal for AAAS symposium on cars
TRIP.E78[E78,JMC] 30-Jul-78	schedule for round world trip
COLDES[E78,JMC] 31-Jul-78	notes on Coldest Winter in Peking
TOUR[S78,JMC] 14-Jun-78		description of offered lectures
TRIP[E78,JMC] 02-Aug-78	Round the world in 1978
MTCPUB.PUB[LET,JMC] 14-Jan-79	Additional pub definitions for MTC and Lisp
MEMO[E78,JMC] 30-Jul-78	A version of memo.pub[let,jmc]
TASKS[E78,JMC] 14-Sep-78	September 1978 tasks
ASIA[E78,JMC] 15-Sep-78	 Asia Summer School on Artificial Intelligence
TRIP.REP[E78,JMC] 18-Sep-78	COMPUTER SCIENCE IN THE FAR EAST
QUOTES[F78,JMC] 15-Oct-78	Some interesting quotations
CHORES[LET,JMC]	07-Dec-78	Chores for helper
TRIP[LET,JMC]	07-Dec-78	Checklist for trips
SKI[LET,JMC] 10-Dec-78		Checklist for ski trips
PERIOD[LET,JMC] 12-Dec-78	Periodical subscriptions
INFO[LET,JMC] 30-Dec-78		Information file in 2nd drawer left cabinet home
ONEJMC[LET,JMC] 31-Dec-78	List of files that were in [1,jmc]
BILLS[LET,JMC] 27-Jan-79	Bills received and paid
MONEY[LET,JMC] 02-Feb-79	Checks received and deposited.
NOTES[LET,JMC] 10-Apr-79	Index to notes on paper in chrono file
error[w80,jmc] 8-Mar-80	Some common misused words
ESTATE[F78,JMC]		notes on Vera estate
INTRO[F78,JMC]		ANNAPURNA TAPE DIARY
PHON1[F78,JMC]		phones and addresses of Vera relatives
VERA[F78,JMC]		remembrances
Political action - ACTION

LERNER[S78,JMC] 31-May-78	Poster for Sonya Lerner talk
DEAL[E78,JMC] 16-Jun-77	A PROPOSAL TO TRADE A COMPUTER
			FOR THE DISSIDENTS AND REFUSENIKS
PRESSU[W77,JMC] 29-Jan-77	A RATIONALE FOR MORAL PRESSURE ON THE SOVIET UNION
IJCAI.REP[F75,JMC] 15-Jul-78	Lerner in Tblisi
NLCPI[F76,JMC] 30-Nov-76	American technologist, prospects for technology
SCIENC[F76,JMC] 30-Nov-76	Notes on biases of Science magazine
KELDYS.LE1[ESS,JMC] 09-Jul-75	About lerner
POSTER[E78,JMC] 31-Jul-78	NUCLEAR AND OTHER HAZARDS
Slides for lectures -SLIDES

CIRCUM.SLI[S78,JMC] 		Slides for circumscription lecture
LISP2.SLI[S78,JMC] 26-May-78	Slides for LISP history lecture
LISP.SLI[W78,JMC] 10-Mar-78	Slide ideas of LISP history
IJCAI.SLI[E77,JMC] 17-Aug-77	Slides for IJCAI 1977
Essays in Science and Technology -ESS

ess.msg[ess,jmc] 1980-may-26	Messages for inclusion in technology essays
TITLE.ESS[ESS,JMC]
CONTENT.ESS[ESS,JMC]
CHAP1.ART[ESS,JMC] r-apr-79	IN DEFENSE OF SCIENCE AND TECHNOLOGY
CHAP2.ART[ESS,JMC] r-apr-79	IS THERE ANYTHING USEFUL LEFT TO INVENT?
CHAP3.ART[ESS,JMC] r-apr-79	RESOURCES FOR THE FUTURE
INTRO2.ESS[ESS,JMC] R-apr-79	INTRODUCTION TO TECHNOLOGY DRAFTS
SUMMAR.ESS[W78,JMC] 21-Apr-78	WHAT CAN TECHNOLOGY BASED ON PRESENT SCIENCE
				DO FOR THE AMERICAN MIDDLE CLASS
TECHNO.ESS[ESS,JMC] r-apr-79	NEW GOALS FOR TECHNOLOGY
TCLUB.ESS[ESS,JMC] r-apr-79	STANFORD TECHNOLOGY CLUB - A PROSPECTUS
STYLE.ESS[ESS,JMC] r-apr-79	TOWARDS AN INTELLECTUALLY HONEST STYLE
SOCIAL.ESS[ESS,JMC] r-apr-79	SOCIAL VIEWS - this one may be best
PURPOS.ESS[E76,JMC]		Human welfare is the ability to fulfill human
				purposes.
GOALS.ESS[S76,JMC] 26-Jun-76	Human goals - People live for a while and then
				die.
GOAL.ESS[E76,JMC] 08-Aug-76	List of concrete goals like reducing housework
PREFAC.ESS[E76,JMC] 08-Aug-76	Social welfare is individual goal achievement
HISTOR.ESS[E76,JMC] 08-Aug-76	WHAT HAVE WE DONE WITH OUR TECHNOLOGY?
STANDA.ESS[ESS,JMC] 26-Mar-75	THE AMERICAN STANDARD OF LIVING history
POLIT.ESS[ESS,JMC] 26-Mar-75	ON POLITICS as menaces rather than opportunities
ISSUES.ESS[S76,JMC] 05-Jul-76	Some issues to face (just one now)
CONTR2.ESS[ESS,JMC] 26-Mar-75	TOWARDS A SOCIAL CONTRACT
CONTRA.ESS[ESS,JMC] 26-Mar-75	THERE SHOULD BE A SOCIAL CONTRACT	
ENHANC.ESS[ESS,JMC] 26-Mar-75	THE ENHANCEMENT OF THE INDIVIDUAL
IDEOLO.ESS[ESS,JMC] 26-Mar-75	TECHNOLOGY AND IDEOLOGY - what about unscientific
				social decisions
ECO.ESS[ESS,JMC] 26-Mar-75	WORRIES ABOUT THE ENVIRONMENTAL MOVEMENT
IRRATI.ESS[S78,JMC] 27-Jun-78	TOWARDS A LOGICAL THEORY OF HUMAN IRRATIONALITY
INTRO.ESS[ESS,JMC] 21-Jan-78	TECHNOLOGY AND THE ENHANCEMENT OF MAN
IDEA.ESS[ESS,JMC] 29-Jan-75	Random ideas to be included somewhere.
BENEFI.ESS[ESS,JMC] 12-Feb-78	THE SOCIAL BENEFITS OF NEW TECHNOLOGY
BASIC.ESS[ESS,JMC] 10-Jun-74	BASIC SCIENCE AND BASIC TECHNOLOGY
TECIND.ESS[ESS,JMC] R-May-79	Proposal for research to enhance the individual
INDIV.ESS[ESS,JMC] 26-Mar-75	How technology has enhanced individuality
TWOMOD.ESS[ESS,JMC] 26-Mar-75	TWO MODELS OF POLITICAL ECONOMY
EQUAL.ESS[ESS,JMC] 26-Mar-75	THE LIMITS OF EQUALITY
STAN.ESS[ESS,JMC] 26-Mar-75	THE GOALS OF THE UNIVERSITY
				AND THE GOALS OF ITS INHABITANTS
ADHOM.ESS[ESS,JMC] 26-Mar-75	TECHNOLOGY AND IDEOLOGY - AD HOMINEM REMARKS
REMARK.ESS[ESS,JMC] 26-Mar-75	A few remarks, ad hominem
ECON.ESS[ESS,JMC] 26-Mar-75	SOME ECONOMIC PROPOSITIONS
CULTUR.ESS[ESS,JMC] 26-Mar-75	GRUMBLES ABOUT PRESENT AMERICAN STATE OF MIND

SHOCK.ESS[ESS,JMC] r-apr-79	FUTURE SHOCK
PLANE.ESS[ESS,JMC] r-apr-79	COMPUTER CONTROLLED AIRPLANES
OBJEC.ESS[ESS,JMC] r-apr-79	MATHEMATICS AND OBJECTIVITY IN HUMAN AFFAIRS
MONOP.ESS[ESS,JMC] r-apr-79	MONOPOLIES IN HOME COMPUTER SERVICES anti-cable
LONG.ESS[ESS,JMC] r-apr-79	LONG RANGE CONSIDERATIONS
WOMEN.ESS[ESS,JMC] R-apr-79	Technology and women's liberation
flexib.ess[ess,jmc] 20-jan-80	The importance of flexible technology
women2.ess[ess,jmc] 20-jan-80	Technology and women's liberation
				(more about technology than sociology)
planni.ess[ess,jmc] 20-jan-80	The immorality of the public policy community
HOTER.ESS[ESS,JMC] r-apr-79	THE HOME INFORMATION TERMINAL
EARLID.ESS[ESS,JMC] r-apr-79	EARLIDS
DIG.ESS[ESS,JMC] r-apr-79	Proposal for research in remote tunneling
DELIV.ESS[ESS,JMC] r-apr-79	 AUTOMATIC DELIVERY SYSTEM
ENERGY.ESS[ESS,JMC] R-Apr-79	FUTURE ENERGY REQUIREMENTS - A POSITION PAPER
ENERGY.PRO[ESS,JMC] R-Apr-79	1973 energy plan
MICRO.ESS[ESS,JMC] 26-Mar-75	REQUIREMENTS FOR A MICRO-ECONOMY
SPACE1.ESS[ESS,JMC] 26-Mar-75	SPACE AS A FRONTIER
CARDEF.ESS[ESS,JMC] 26-Mar-75	Hitchhiking Si! Car pooling No! 
CRACK.ESS[ESS,JMC] 26-Mar-75	WISECRACKS
SLOGAN.ESS[ESS,JMC] 26-Mar-75		SLOGANS ABOUT TECHNOLOGY
SHORT.ESS[ESS,JMC] 26-Mar-75	SHORT REMARKS IN SUPPORT OF SLOGANS
GROWTH.ESS[ESS,JMC] 26-Mar-75	ON LIMITS TO GROWTH
UNDER.ESS[ESS,JMC] R-apr-79	U.S. RESPONSIBILITY FOR UNDERDEVELOPED COUNTRIES
INDIA.ESS[ESS,JMC] 26-Mar-75	WHAT IF INDIA DOESN'T MAKE IT
INDIA2.ESS[ESS,JMC] 26-Mar-75	WHAT IF INDIA DOESN'T MAKE IT

RACKET.ESS[ESS,JMC] 26-Mar-75	A SURVEY OF FEATHERBEDDING, ESPECIALLY WHITE COLLAR

PRODUC.ESS[ESS,JMC] 04-May-78	TECHNOLOGY FOR IMPROVING PRODUCTIVITY
BLACKH[S77,JMC] 22-May-77	BLACK HOLE ROCKET SHIPS
GALAXY[S77,JMC] 29-May-78	INTERSTELLAR TRAVEL WITH 20TH CENTURY TECHNOLOGY
POLITI.ESS[F76,JMC] 03-Nov-76	"CAN TECHNOLOGY IMPROVE POLITICS?"
PRISPA.ESS[ESS,JMC] 26-Mar-75	THE PROSPECTS FOR A PRIVATE SPACE PROGRAM
POLICE.ESS[ESS,JMC] 26-Mar-75	THE POLICE AS GLADIATORS
CAR.ESS[ESS,JMC] 08-May-75	COMPUTER CONTROLLED CARS
STAN2.ESS[ESS,JMC] 26-Mar-75	MAKING STANFORD A BETTER PLACE TO LIVE
MINSKY[ESS,JMC] 26-Feb-76	Encouragement of view on cars
HOTER.PUB[ESS,JMC] 09-Mar-73	THE HOME INFORMATION TERMINAL - old version
CAR2.ESS[ESS,JMC] 26-Mar-75	IN DEFENSE OF THE AUTOMOBILE
AAAS[ESS,JMC] 28-Mar-73		ideas for AAAS symposium
AI.ESS[ESS,JMC]		THE PRESENT SCIENTIFIC SITUATION IN ARTIFICIAL
			INTELLIGENCE
SPORT.ESS[ESS,JMC] 26-Mar-75	A NEW SPORT - flying in a vertical wind tunnel
CRIME.ESS[ESS,JMC] 26-Mar-75	TECHNOLOGY, CRIME, AND CIVIL LIBERTIES
HOUSE.ESS[ESS,JMC] 26-Mar-75	FURTHER MECHANIZATION OF HOUSEWORK

TOPIC.ESS[ESS,JMC] 26-Mar-75	Notes for small essays.
HOW.ESS[ESS,JMC] 04-May-78	HOW ARE ALL THESE GOOD THINGS TO COME ABOUT?
DBACOM.ESS[ESS,JMC] 26-Mar-75	Reply to Bruce Anderson comments on essays
DISAPP[E78,JMC] 01-Aug-78	Disappointment with rate technological progress
INVENT[E78,JMC] 01-Aug-78	minor inventions
CHICAR.ESS[ESS,JMC] r-apr-79	THE CHINESE CAN SO HAVE CARS r-apr-79		ECON.ESS[ESS,JMC]
ALL[ESS,JMC] 21-Apr-73		list of files - some don't exist
ESS.ESS[ESS,JMC] 26-Mar-75	ESSAYS IN PROCESS
CS226 -CS226

LECTUR.F9[W78,JMC] 09-Feb-78	Notes for CS 226 lecture
MONBAN[W78,JMC] 19-Feb-78	Vaughan Pratt version of Monkey and Bananas
NOTES.226[F75,JMC] 08-Jan-76	Notes on CS226 - 1st two lectures
BLOCKS.226[F75,JMC] 07-Jan-76	PROBLEMS WITH THE BLOCKS WORLD
CATALO[S78,JMC] 28-Apr-78	New catalog descriptions of my courses
PLAN.226[E78,JMC] 29-Jul-78	Plans for teaching CS226

See also epistemology papers page 35
plan.226[e78,jmc]/2p
DRAFTS -DRAFTS

IJCAI.A[E77,JMC] 23-Jun-77	Early draft 1977 IJCAI
IJCAI.F[E77,JMC] 26-Jun-77	Draft of 1977 IJCAI paper
IJCAI.E[E77,JMC] 24-Jun-77	Draft material for 1977 IJCAI
IJCAI.G[E77,JMC] 30-Jun-77	Notes for 1977 IJCAI
MODEL.PUB[S77,JMC] 09-Aug-77	Intro to paper with Sato, et. al.
Other people's papers -OTHERS

LISP2[E77,JMC] 01-Jul-77	Pratt's article on LISP
LSPLUG.PUB[W77,JMC] 17-Jan-77	Vaughan Pratt plug for LISP
CGOLMA[W77,JMC] 10-Feb-77	CGOL manual
MODPRO.PRA[W77,JMC] 06-Feb-77	Pratt proposal for dynamic logic proof checker
OBVIOU[W76,JMC] 26-Jan-76	Richard on what's obvious in set theory
ITER[ESS,JMC] 27-Mar-77		Iteration in LISP - Probably Pratt proposal
nuclear -NUCLEA

MISTAK[E77,JMC] 04-Aug-77	YOU ARE MAKING A MISTAKE
OPTION[E77,JMC] 03-Aug-77	Other people's energy options
News stories -NS

ELECTR.NS[W77,JMC] 03-May-77	Electronic mail
MAIL.NS[W77,JMC] 28-Jan-77	Electronic mail
VIETNA.NS[W77,JMC] 28-Jan-77	refugees
POSTAL.NS[W77,JMC] 29-Mar-77	Future of Post Office
MAIL.NS[E76,JMC] 06-Aug-76	Electronic mail
STANFO.NS[E76,JMC] 08-Aug-76	Parapsychology and fraudulent bankruptcy
MAIL.NS[S76,JMC] 19-Jun-76	Electronic mail
TENZIN.1[ESS,JMC] 16-Feb-76
PERSEP.NS[206,JMC] 16-APR-77
CAMBOD.NS[206,JMC] 16-APR-77
DISINF.NS[ESS,JMC] 14-May-78	disinformation
NEPAL.NS[ESS,JMC] 07-Aug-76	Perhaps they'll want these later
FREEWA.NS[ESS,JMC] 25-Nov-77	China will build freeways
KITT.NS[ESS,JMC] 22-Oct-76	Cousin Gilbert
PACKAR.NS[ESS,JMC] 11-Nov-76	Committee on the present danger
COMPUT.NS[ESS,JMC] 09-Nov-77	Home computers
VIETNA.NS[ESS,JMC] 11-May-78	About refugees mostly
WORKER.NS[ESS,JMC] 29-Dec-77	Soviet free trade union
NUCLEA.NS[ESS,JMC] 08-Feb-78	INSIDE REPORT: Jerry's Next Vietnam
ANTISC.NS[ESS,JMC] 12-Feb-78	Rowan believes that arms race starts with scientists
LEGAL.NS[ESS,JMC] 12-Feb-78	NLCPI and friends
BIONIC.NS[ESS,JMC] 29-Mar-78	Proxmire attack on walking robot
SUN.NS[ESS,JMC] 16-Apr-78	Sun Day
SUNDAY.NS[ESS,JMC] 02-May-78	Sun Day - government drivel
BUDGET.NS[ESS,JMC] 13-Sep-77
FACE.NS[ESS,JMC] 15-Sep-77	facts about face lifts - for Vera
VIET.NS[E78,JMC] 01-Aug-78	About outfit that supplies boats
ANNAPU.NS[E78,JMC] 13-Sep-78	News stories
AI Lab	-LAB

DATADI[E76,JMC] 27-Jul-76	PRIORITY SYSTEM FOR DATA DISC CHANNELS
UTILI.AIL[F75,JMC] 06-Jan-76	SOME PROGRAMMING TASKS
POLICY.AIL[ESS,JMC] 19-Sep-71	PROPOSED PERSONNEL POLICY FOR THE STANFORD
				ARTIFICIAL INTELLIGENCE LAB
AILAB.AIL[ESS,JMC] 15-Feb-72	Catalog description of the Lab
AD.NET[ESS,JMC] 14-May-72	Descripition of Lab for Network Handbook
AILAB.BLA[ESS,JMC] 16-Dec-75	old version, I hope
Problem solving -PROBLE

PRBSLV.TXT[1,LDC]	Creary problem solver proposal
For deletion -del

Research problems for students -TOPIC

WADLER[W76,JMC] 12-Apr-76	Comments and suggested research
MINIMA[F75,JMC] 31-Dec-75	MINIMAL MODELS (research topic)
THESIS[F75,JMC] 31-Jul-78	NOTES ON RESEARCH TOPICS, ESPECIALLY FOR THESES
UTILI.AIL[F75,JMC] 06-Jan-76	SOME PROGRAMMING TASKS
BLOCKS.226[F75,JMC] 07-Jan-76	PROBLEMS WITH THE BLOCKS WORLD
TECHNI.MEN[F75,JMC] 10-Feb-76	TECHNICAL MATHEMATICAL LOGICAL PROBLEMS
AJT.MEM[ESS,JMC] 15-Feb-72	AI and psychological experiments
QUERY[E78,JMC] 23-Jul-78	Research questions
COREWA[S77,JMC] 13-Jun-77	CORE WAR
Patterns -pat

PATTER.2[F75,JMC] 10-Mar-78	WHAT IS A PATTERN?
PATTER.AI[F75,JMC] 10-Mar-78	WHAT IS A PATTERN? updated july 1980
PATTER[F77,JMC] 10-Mar-78	PATTERN DIRECTED COMPUTATION AND PROBLEM SOLVING
MATCH.LSP[F76,JMC] 08-Nov-76	INST followed by assignments to vars in pattern
PATTER.LSP[F77,JMC] 20-Nov-77	INST and SOLS
INST2.LSP[F76,JMC] 08-Nov-76	commutative and associative versions of INST
INST2.MLS[F76,JMC] 02-Dec-76	Commutative and associative INST
INST2.PUB[F76,JMC] 07-Dec-76	Commutative and associative; just the bb program
INST3.LSP[F76,JMC] 27-Dec-76	INST with alists (plural)
INST4.LSP[F76,JMC] 27-Dec-76	instval and instvar
SOLVE.LSP[F76,JMC] 27-Dec-76	just a start on problem solver
PATTER[S78,JMC] 23-Apr-78	Patterns in sequence solitaire
PATTER.NOT[W78,JMC] 26-Mar-78	notes for patterns in logic paper
Space -space

CYCLOP[F75,JMC] 17-Nov-75	Interstellar communication and migration
TABLE[F75,JMC] 19-Nov-75	s(light years)	p(watts/kg)	Tcont(years)	T1(years)
INTERS[F75,JMC] 13-May-77	THE FEASIBILITY OF INTERSTELLAR TRAVEL
SPACE1.ESS[ESS,JMC] 26-Mar-75	SPACE AS A FRONTIER
EASTRO.ART[ESS,JMC] 29-Oct-75	THE FEASIBILITY OF INTERSTELLAR TRAVEL
PRISPA.ESS[ESS,JMC] 26-Mar-75	THE PROSPECTS FOR A PRIVATE SPACE PROGRAM
SPACE[S78,JMC] 29-May-78	List of proposed articles on space
unused
References, bibliographies and lists of files -REF

AIPHIL[F77,JMC] 29-Dec-77	Names and references for study
QUOTES[ESS,JMC] 05-Jun-78	Revealing quotes from Ehrlich,Commoner, Train
REFERE[ESS,JMC] 15-Mar-76	ecoreferences: losers
REFERE.BIB[ESS,JMC] 27-May-77	References
HISREF[E78,JMC] 23-Jul-78	Historical references
PRUNE.DAT[ESS,JMC] 26-Mar-73	Includes some purged files
BIOJMC[PAT,JMC]			My biography and bibliography
LIB.LST[PUB,PAT]		Index to my AI library
bio[let,jmc]			Short biography for talks, etc.
energy.bio[w80,JMC] 3-Mar-80	Biography for SE2, etc.
QUOTES[F78,JMC]		literary quotes
Epistemology -epist

NOT[F77,JMC]/2p 28-Nov-77	Reducing frame problem to qualification problem
NOT[F77,JMC]/3p 28-Nov-77	Epistemology of general problem solving
EXAMPL[W78,JMC]			Circumscription applied to frame problem
BLOCKS.NOT[W78,JMC] 27-Jan-78	Notes on blocks axiomatizations
EPIST.NOT[E78,JMC] 29-Jul-78	General notes on epistemology
NOTES[ESS,JMC]/2p 11-Jul-78	Dormitive power
MENTAL.ADD[W77,JMC] 01-Aug-78	Addenda to Acribing Mental qualities to machines
EPISTE[E76,JMC] 13-Aug-76	EPISTEMOLOGICAL PROBLEMS OF COGNOLOGY
HAYES.COM[F78,JMC]	Hayes's comments on CONCEP[s78,jmc] @ 15 April 1977
KNOW[F78,JMC]		"Mike knows what Joan asserted", etc.
w79 files

CHEMEM[W79,JMC]		Chemical Memories Storing a Register per Molecules
DENNET.2[W79,JMC]	Comments on Dennett's %2True Believers:
			The Intentional Strategy and Why it Works
ENERGY[W79,JMC]		ENERGY AND IDEOLOGY
FEFERM[W79,JMC]		Topics to raise with Feferman
FIRST[W79,JMC]		RECURSIVE PROGRAMS AS FUNCTIONS IN A FIRST ORDER THEORY
FIRST.LEC[W79,JMC]	NOTES FOR LECTURE ON PROVING PROPERTIES
			OF RECURSIVE PROGRAMS
FIRST.NOT[W79,JMC]	notes for revision of FIRST
GARDNE[W79,JMC]		Anne Gardner's Notes Toward a Legal Reasoning Program
GOEDEL[W79,JMC]		GOEDEL'S LEMMA AND APPLICATIONS IN FIRST ORDER LISP
HYPOCR[W79,JMC]		ON THE USEFULNESS OF HYPOCRISY AND PRETENSE
IDAHO[W79,JMC]		notes for Idaho lecture on AI
INDUCT.AX[W79,JMC]	FOL axioms for transfinite and LISP induction
INTELL[W79,JMC]		Programs for an intelligent system in Lisp
KNOCOM[W79,JMC]		COMPUTATION WITH STATES OF KNOWLEDGE
KYOTO[W79,JMC]		some notes on circumscription
MEMO.PUB[W79,JMC]	a special version
MOORE[W79,JMC]		Comments on R.C. Moore's thesis draft
MOSZ.LSP[W79,JMC]	recursion counter for Takeuchi function
NOTES.258[W79,JMC]	non-termination of certain functions
ORDER.PRB[W79,JMC]	Proving facts about programs that order ordinals
PROBLE.258[W79,JMC]	CS258←PROBLEM SET→WINTER 1979
QUOTES[W79,JMC]		Revealing quotes by ecovandals, Lovins,Ehrlich,Train
RATION[W79,JMC]		RATIONALITY IN HUMAN LIFE
RENEW.PRO[W79,JMC]	basic research in AI renewal proposal
RISKER[W79,JMC]		THE RISKER
SECOND[W79,JMC]		ON THE APPLICATIONS OF SECOND ORDER LOGIC TO AI AND MTC
SLOMAN[W79,JMC]		comments on Sloman's "Computer Revolution in Philosophy"
SMITH[W79,JMC]		ANTICHRIST, OR THE REUNION OF CHRISTENDOM: AN ODE
SOLITA.LSP[W79,JMC]	lisp solitaire functions
SOLITA.NOT[W79,JMC]	A few solitaire notes
TREE[W79,JMC]		conversation with Creary - Dec. 17 1979
Spring 79 files

AIQUAL[S79,JMC]		Comments an AI qual syllabus
ARPA[S79,JMC]		report
CBCL.PRO[S79,JMC]	Common Business and Military Computer Communication
			 Language
CELLUL[S79,JMC]		making Fredkin's physics relativistically invariant
CIRCUM.NEW[S79,JMC]	CIRCUMSCRIPTION - A FORM OF NON-MONOTONIC REASONING
CONSTR.ESS[S79,JMC]	THE COST OF CONSTRUCTION
ELEPHA[S79,JMC]		THE PROGRAMMING LANGUAGE ELEPHANT
ELEPHA.NOT[S79,JMC]	.cb THE PROGRAMMING LANGUAGE ELEPHANT old draft
ELEPHA.OLD[S79,JMC]	.cb THE PROGRAMMING LANGUAGE ELEPHANT
ENERGY[S79,JMC]		THE TRUTH ABOUT ENERGY
ENERGY.2[S79,JMC]	THE CASE FOR ENERGY COMPLACENCY OR APATHY
EPISTE[S79,JMC]		APPROACHING EPISTEMOLOGY FROM ARTIFICIAL INTELLIGENCE
EQUIV.AX[S79,JMC]	Axioms to prove existence of set of equivalence classes
EQUIV.MEM[S79,JMC]	A SIMPLE SET THEORY PROOF IN FOL
EQUIV.PRF[S79,JMC]	existence of set of equivalence classes
EQUIV.TEX[S79,JMC]	a simple set theory proof in FOL
FILES.PRO[S79,JMC]	Describing other People's Files
GAS[S79,JMC]		STATEMENT ON THE GASOLINE SHORTAGE
HIGHER[S79,JMC]		on higher level programming or specification languages
KK[S79,JMC]		Ma's Mr. S and Mr. P
KK.PRF[S79,JMC]		Ma's FOL proof of Mr. S and Mr. P
LIBRAR[S79,JMC]		.cb A PROPOSAL FOR A COMPUTERIZED LIBRARY
LISP.AX[S79,JMC]	lisp axioms from clt?
LISP.DEC[S79,JMC]	declarations for lisp axioms from clt?
LISP.LOR[S79,JMC]	dumping lisp variables in files
MARGAR[S79,JMC]		memorial remarks on Margaret Young
MEDICI.ESS[S79,JMC]	MEDICINE
META[S79,JMC]		A PROGRAMME FOR META-EPISTEMOLOGY
MINIMA.OLD[S79,JMC]	CIRCUMSCRIPTION - A FORM OF NON-MONOTONIC REASONING
NOTES.ESS[S79,JMC]	notes for improving EDUCATION, STYLE and reprint old TS
PROLEG[S79,JMC]		PROLEGOMENA TO A SCIENTIFIC THEORY OF COMMON SENSE
SOLIT.LSP[S79,JMC]	some solitaire functions
SOLIT.NOT[S79,JMC]	notes for improving solitaire program
TESTIM[S79,JMC]		testimony on Soviet mail holdups
WILKIN[S79,JMC]		Comments on draft of Wilkins's thesis
e79 files

CIRCUM[E79,JMC]		EPISTEMOLOGICAL PROBLEMS OF ARTIFICIAL INTELLIGENCE
EQUALI[E79,JMC]		Discussion of equality for lisp book
IBM[E79,JMC]		various notes from summer 79
INVENT[E79,JMC]		%3INVENTORY OF PROFESSIONAL INTERESTS%1 McCarthy
ONTOLO[E79,JMC]		The Ontology of Artificial Intelligence
PROVIN[E79,JMC]		Proving Properties of Computer Programs - for book
PROVIN.REV[E79,JMC]	Proposed revision of chapter PROVIN
PYLYSH[E79,JMC]		Pylyshyn quixotic
REMARK[E79,JMC]		remarks suggested by circumscription but not about it
SEARLE.RE1[E79,JMC]	%3Notes on Searle's "Notes on artificial intelligence"%1
WASTE.ENE[E79,JMC]	STORAGE OF WASTE FROM NUCLEAR PLANTS - draft ad
Fall 79 files

ABILIT[F79,JMC]		Comments on Dennett's The Abilities of Men and Machines
CIRCUM.AB2[F79,JMC]	FORMALIZATION OF OCKHAM'S RAZOR
CIRCUM.ABS[F79,JMC]	notes for FORMALIZATION OF OCKHAM'S RAZOR
CIRCUM.ADD[F79,JMC]	ADDENDUM: CIRCUMSCRIPTION AND OTHER NON-MONOTONIC
				 FORMALISMS"
CIRCUM.NOT[F79,JMC]	minimizing non-monotonic reasoning
DENNET[F79,JMC]		Comments on %2Brainstorms%1.
DISCUS[F79,JMC]		Small Intentional Systems - JMC - Dec 19, 1979
ENERGY[F79,JMC]		Energy and ideology - Teller meeting oct 11
IDEOLO[F79,JMC]		not a polemic - an attempt at understanding ideology
INTENT.F79[F79,JMC]	Remarks on intentions (triggered by Searle manuscript
ISRAEL.SPE[F79,JMC]	THE REAL COMPUTER REVOLUTION
ISSUES.F79[F79,JMC]	Issues to be discussed in group, possibly in panels
LOCKE[F79,JMC]		LOCKE - NOTES ON SOME UNFINISHED BUSINESS
PHILIS[F79,JMC]		IN PRAISE OF PHILISTINISM
MCCRAC.F79[F79,JMC]	draft of letter re mccracen editorial
MEANIN.F79[F79,JMC]	Concepts Meaningful in Approximate Theories
PRBSLV.COM[F79,JMC]	Comments on a Creary draft
PUTNAM.F79[F79,JMC]	Comments on Putnam's "Computational Psychology
				 and Interpretation Theory
PYLYSH.F79[F79,JMC]	Comments on Pylyshyn's "Computation and cognition:
			Issues in the foundations of cognitive science".
QUANTU.F79[F79,JMC]	notes on foundations of quantum mechanics
VISION[F79,JMC]		what can we really do in vision
W80 files

AAAS[W80,JMC]		short list of fools and non fools
ABOUT[W80,JMC]		Knowing about
ACM.SPE[W80,JMC]	Transcript of ACM lecture.
ADVICE[W80,JMC]		plan for Advice Taker Project
AI[W80,JMC]		notes for lectures on AI and philosophy
ANDERS.NS[W80,JMC]	Anderson's standard speech
APPROX[W80,JMC]		Notes on Approximate Theories
BAKER.NS[W80,JMC]	Baker's standard speech
BARWIS[W80,JMC]		contains comments on Barwise's lecture and notes
BEYOND[W80,JMC]		Comments on Dennett's "Beyond Belief"
BODY[W80,JMC]		Bodies of knowledge
BUSH.NS[W80,JMC]	Bush's standard speech
CAMPBE[W80,JMC]		Notes on %2Descriptive Epistemology: Psychological,
			Sociological, and Evolutionary%1
			by Donald T. Campbell
CAUSE[W80,JMC]		CAUSALITY IN SYSTEMS OF INTERACTING AUTOMATA
CHALLE[W80,JMC]		Challenges to weak AI, especially to Schankian AI
CIRCUM.REP[W80,JMC]	REPLIES TO COMMENTS ON "FORMALIZING OCKHAM'S RAZOR"
CIRCUM.W80[W80,JMC]	Circumscription paper
CONAES[W80,JMC]		Questions on the CONAES report
CONNAL.NS[W80,JMC]	Connally's standard speech
COUNTE[W80,JMC]		CARTESIAN COUNTERFACTUALS
CREARY[W80,JMC]		conversations with Creary
DISPLA[W80,JMC]		display supply conversations
DISSEN[W80,JMC]		Dissenting opinions (mine)
DOYLE[W80,JMC]		comments on Doyle's Stanford lecture
ELEPH2[W80,JMC]		elephant notes
ENERGY.BIO[W80,JMC]	biography for energy lectures
ERROR[W80,JMC]		some common misused words
FEYERA[W80,JMC]		for the philosophical lexicon
FRAME[W80,JMC]		THE FRAME PROBLEM IN THE 1980s
HOOK[W80,JMC]		A SKYHOOK SUPPORTED BY ORBITING PARTICLES
HOOK.M[W80,JMC]		A SKYHOOK SUPPORTED BY ORBITING PARTICLES
IDEAS.W80[W80,JMC]	Scenes a la Barwise
			Advice Taker should begin with declarative formalism
			AIphil discussion on individual ascriptions
				 of mental qualities
			anthroplogists overaccept primitive ideas
			differential equations
			Circumscription and intensionality
			Going down
ISRAEL.SPE[W80,JMC]	Speech at IBM symposium in Haifa
JOINT[W80,JMC]		JOINT KNOWLEDGE
KENNED.NS[W80,JMC]	Kennedy's standard speech
LOSER[W80,JMC]		IRS demands that banks keep records IRS loses
LYSENK[W80,JMC]		Lysenkoism in Energy Research
META[W80,JMC]		Metaphilosophy
MINSKY.SE1[W80,JMC]	Minsky on Searle
NAMING[W80,JMC]		AI and "Naming, Necessity and Natural Kinds"
OFFICE[W80,JMC]		CRITERIA FOR USEFULNESS OF COMPUTERS IN OFFICES
OFFICE.2[W80,JMC]	CRITERIA FOR USEFULNESS OF COMPUTERS IN OFFICES
OPPORT[W80,JMC]		Social effects of keeping publications in the computer
POSH.NS[W80,JMC]	top hotels and restaurants
PROBLE[W80,JMC]		Bill wants to have an affair with Tom's wife
REAGAN.NS[W80,JMC]	Reagan's standard speech
RENEW.PRO[W80,JMC]	renewal of nsf proposal
ROMANT[W80,JMC]		Pro-technology must appeal to the imagination
SE2[W80,JMC]		notes on SE2 affairs
SEARLE[W80,JMC]		short and sweet Searle refutation
SEARLE.1[W80,JMC]	notes on Searle
SEARLE.2[W80,JMC]	Comments on Searle's "Minds, Brains and Programs"
SECRET.NS[W80,JMC]	News stories that wrongly reveal secrets
SEX[W80,JMC]		Comments on Evolution of Human Sexuality
SOCIAL[W80,JMC]		SOCIAL SCIENCE IS VERY COMPLICATED
STANDA[W80,JMC]		TARGETS FOR STANDARDIZATION
TALK[W80,JMC]		notes for CASBS on computerization
TALK1[W80,JMC]		SOCIAL OPPORTUNITIES FROM COMPUTER TECHNOLOGY
TECSOC[W80,JMC]		SOCIETAL ATTITUDES TO TECHNOLOGY - for ACM
Spring 1980 files

ANNOUN[S80,JMC]		announcement of
			TWO LECTURES ON FORMALIZED NON-MONOTONIC REASONING
AP.NS[S80,JMC]		AP story on Compuserve
ARPA.REP[S80,JMC]	FISCAL YEAR 80 ACCOMPLISHMENTS AND FISCAL YEAR 81 PLANS
CASBS[S80,JMC]		report on AI and philosophy group
CHICAG.NS[S80,JMC]	news stories on Chicago meeting
CIRCUM.MOR[S80,JMC]	draft of supplementary paper on circumscription
CLOSED[S80,JMC]		how to do closed world assumption in ordinary logic
CONCUR[S80,JMC]		Formaliization of concurrent events
CONSER[S80,JMC]		notes for severe conservation paper
CONSER.2[S80,JMC]	severe conservation paper
CONTEN[S80,JMC]		Comments on Dennett's "Content and Consciousness"
CS206.ABS[S80,JMC]	description of cs206 with some commitments
DOYLE[S80,JMC]		short comment on Doyle's thesis
DOYLE.2[S80,JMC]	proposal to ARPA on Doyle's work
DOYLE.DOC[S80,JMC]	proposal to ARPA on Doyle's work for network sending
DOYLE.PRO[S80,JMC]	pub source of Doyle proposal
ELEPHA[S80,JMC]		spring 1980 form of elephant paper
ELEPHA.2[S80,JMC]	notes on elephant
EXTREM[S80,JMC]		draft material on extreme conservation
GRADES[S80,JMC]		GRADE SCHOOL GRAMMAR AS AN AI LANGUAGE
IDEAS[S80,JMC]		Language of common sense
			Generate and test
			de re belief attributions
			Queries and Conjectures in Economics
INDOOR[S80,JMC]		draft letter to se2 proposing lawsuit on insulation
INDOOR.NS[S80,JMC]	report of EPA findings on dangers of insulation
JAY.NS[S80,JMC]		politicization as an American energy sink
KETONE[S80,JMC]		Comments on Ketonen's proposal for a proof checker
MEMO.PUB[S80,JMC]	special form for some paper
NATURA[S80,JMC]		Natural Kinds
NONMON[S80,JMC]		Notes for talk May 14 on non-monotonic reasoning
NS.NS[S80,JMC]		about news services being offered
ONTOLO[S80,JMC]		THE CASE FOR ONTOLOGICAL ENRICHMENT
PETITI[S80,JMC]		PETITION TO MR. RAMSEY CLARK
PIAGET[S80,JMC]		Margaret Boden's %2Jean Piaget%1, Viking Press 1980
PRODUC[S80,JMC]		PRODUCTION IS THE SOLUTION TO THE ENERGY CRISIS
PRODUC.2[S80,JMC]	THE SOLUTION TO THE ENERGY CRISIS IS TO PRODUCE ENERGY
REACT.SE2[S80,JMC]	SOME REACTIONS TO THE SE2 CONFERENCE - 6/80
REAGAN[S80,JMC]		proposing an energy position paper to Reagan
REIFY[S80,JMC]		On Reification
REPORT[S80,JMC]		ARPA report
SENSES[S80,JMC]		DISCUSSION WITH BOB MOORE (RCM) APRIL 21, 1980
SOCIAL[S80,JMC]		Socialism has the following problems
TELEMA.NS[S80,JMC]	French terminal plans
TERMIN.NS[S80,JMC]	Terminal experiments
TIME.HIS[S80,JMC]	1959 Memo to Morse on time-sharing
UNDERS[S80,JMC]		UNDERSTANDING
YERGIN.NS[S80,JMC]	Harvard conf. urges conservation for cutoff contingency